factorial::int->int 
factorial 0 = 1
factorial x = x * factorial (x-1)

maint::int
maint = factorial 5